Buy Used and New Anil Nerode Books

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Logic for Applications (Texts in Computer Science)

by Anil Nerode,Richard A. Shore

ISBN 13: 9780387948935

Format: Illustrated (469 pages)
Publisher: Springer
Published: 01 Feb 1997

Save for later

Hybrid Systems V: 1567 (Lecture Notes in Computer Science)

by Anil Nerode,Shankar Sastry,Michael Lemmon,Wolf Kohn,Panos J. Antsaklis

ISBN 13: 9783540656432

Format: Paperback (445 pages)
Publisher: Springer
Published: 24 Feb 1999

Save for later

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings: 1234 (Lecture Notes in Computer Science)

by Anil Nerode,Sergei Adian

ISBN 13: 9783540630456

Format: Paperback (448 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings: 9537 (Lecture Notes in Computer Science)

by Sergei Artemov, Anil Nerode

ISBN 13: 9783319276823

Format: Paperback (420 pages)
Publisher: Springer
Published: 17 Jan 2016

Save for later

Combinatorial Functors (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge): 81

by J.N. Crossley,Anil Nerode

ISBN 13: 9783642859359

Format: Paperback (160 pages)
Publisher: Springer
Published: 12 Sep 2014

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings (Lecture Notes in Computer Science)

by Sergei Artemov, Anil Nerode

ISBN 13: 9783319720555

Format: Paperback (380 pages)
Publisher: Springer
Published: 28 Nov 2017

Save for later

Hybrid Systems: 736 (Lecture Notes in Computer Science)

by Anil Nerode,Hans Rischel,Robert L. Grossman,Anders P. Ravn

ISBN 13: 9783540573180

Format: Paperback (488 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Hybrid Systems II: 999 (Lecture Notes in Computer Science)

by Anil Nerode,Shankar Sastry,Wolf Kohn,Panos Antsaklis

ISBN 13: 9783540604723

Format: Paperback (584 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings: 1265 (Lecture Notes in Computer Science)

by Anil Nerode,Ulrich Fuhrbach,J??rgen Dix

ISBN 13: 9783540632559

Format: Paperback (472 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Hybrid Systems IV: 1273 (Lecture Notes in Computer Science)

by Anil Nerode,Shankar Sastry,Wolf Kohn,Panos Antsaklis

ISBN 13: 9783540633587

Format: Paperback (424 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings: 7734 (Lecture Notes in Computer Science)

by Sergei Artemov, Anil Nerode

ISBN 13: 9783642357213

Format: Paperback (428 pages)
Publisher: Springer
Published: 21 Nov 2012

Save for later